(distclean): Do delete Makefile and Makefile.in.

diff --git a/src/Makefile.in b/src/Makefile.in
index ad6e42ded0b6000898e421a7694965faf26a24a6..13ec39bb99fa1e4012019e370fd55275842b0606 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -772,7 +772,7 @@ clean: mostlyclean
 /**/# This is used in making a distribution.
 /**/# Do not use it on development directories!
 distclean: clean
-       rm -f paths.h config.h ../etc/DOC-*
+       rm -f paths.h config.h Makefile Makefile.in ../etc/DOC-*
 realclean: distclean
        rm -f TAGS
 versionclean: